Issue2510.agda:7,6-7
Cannot eliminate type Set with variable pattern x (did you supply
too many arguments?)
when checking the clause left hand side
test x
